discrete state@$i$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$:Id$\rightarrow$if discrete($i$;$x$) then vartype($i$;$x$) else Top fi